<?php 

//session_start();

// Er wordt hier verbinding gemaakt met de datbase
mysql_connect('127.0.0.1', 'root', '');
mysql_select_db('getconnected'); // Database naam

// Root of the server or full server path like / home/user....
$path = dirname(__FILE__);

include("{$path}/inc/docent.inc.php");

//For example if a user login
$_SESSION['uid'] = 1;

?>